type T(x) =
    new ()as this{caret}= T(1)
